منابع مشابه
Negotiable Interfaces for Components
Component specifications are vital for communicating a component’s requirements, as components are subject to third-party composition. Most modern programming languages lack sufficient features to express the full requirements of a component, however, much less enforce them. Preand post-conditions can capture functional aspects of a component’s requirements, but are unable to express many tempo...
متن کاملFrom Components to Autonomic Elements Using Negotiable Contracts
Autonomic computing aims at producing software systems that can manage themselves. As component-based development also partly addresses the complexity of large applications, we propose to combine the benefits of both approaches by using components equipped with negotiable contracts. These contracts specify the correct behavior of the components and play a central role in feedback control loops ...
متن کاملTreating Interfaces as Components
.NET provides a powerful component platform, but it does not enforce component-based programming. Considerable effort must be expended a priori in order to reap component benefits like configurability and testability. In addition, highly specialized components cannot be reused as often as necessary to provide sufficient return on investment. Thus much of the potential of components lies idle. T...
متن کاملAnalytic Real-Time Interfaces for state-based Components
Interface theories provide the foundation for formally defining and exploiting often implicitly made assumptions about the environment a component is interacting with. This paper develops a procedure for computing analytic input/output bounds for event streams consumed/emitted by the individual components of a system design, allowing to define state-less assume/guarantee (A/G) realtime interfac...
متن کاملToward Parametric Timed Interfaces for Real-Time Components
We propose here a framework to model real-time components consisting of concurrent real-time tasks running on a single processor, using parametric timed automata. Our framework is generic and modular, so as to be easily adapted to different schedulers and more complex task models. We first perform a parametric schedulability analysis of the components using the inverse method. We show that the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2002
ISSN: 1660-1769
DOI: 10.5381/jot.2002.1.3.a14